You have chosen works, A Problem about Substitutional Quantification? and works.
All three must be different; choose another text.